sem{-}sat($S$;${\it pr}$;$X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$X$($S$(${\it pr}$))